La Gramática de la Pertenencia
A diferencia de los pares ordenados $(a, b)$ o los $n$-tuplas, donde la posición es fundamental, un conjunto $\{a, b\}$ se define exclusivamente por sus elementos. Por tanto, $\{a, b\} = \{b, a\}$. Esta indiferencia ante el orden nos permite centrarnos en la identidad de la pertenencia.
Una inclusión $A \subseteq B$ implica que cada elemento de $A$ reside dentro de $B$. Sin embargo, un subconjunto propio $A \subset B$ exige más: $B$ debe contener al menos un elemento que esté no en $A$.
El Conjunto Potencia $\mathcal{P}(S)$ es el conjunto de todos los subconjuntos posibles de $S$. Si $|S| = n$, entonces $|\mathcal{P}(S)| = 2^n$, lo que representa la escala exponencial de posibilidades fundamentales.
El Puente Lógico: Mecánica de Conjuntos
Las operaciones con conjuntos son las manifestaciones físicas de pensamientos lógicos:
- Unión ($A \cup B$): La lógica O. Elementos que pertenecen a $A$ o a $B$.
- Intersección ($A \cap B$): La lógica Y. Elementos que pertenecen a ambos, $A$ y $B$.
- Conjuntos Disjuntos ($A \cap B = \emptyset$): Condiciones lógicas mutuamente excluyentes.
Ejemplo Resuelto: La Base de Datos de Estudiantes
Considera una base de datos $D_1 = \{\text{Garth, Erin, Marty}\}$. Definimos dos predicados:
- Conjunto $A$: Estudiantes con más de 5'10" $\to \{\text{Garth, Marty}\}$.
- Conjunto $B$: Estudiantes cuyos nombres terminan en 'y' $\to \{\text{Marty}\}$.
El Intersección $A \cap B$ produce $\{\text{Marty}\}$. Esto demuestra cómo la lógica "Y" filtra una población según criterios superpuestos. Marty es el único estudiante que cumple ambas condiciones: ser alto y tener un nombre que termine en 'y'.
$x \in A \cap B \iff (x \in A) \land (x \in B)$